extension | φ:Q→Out N | d | ρ | Label | ID |
(C5xC3:S3).1C22 = D5xC32:C4 | φ: C22/C1 → C22 ⊆ Out C5xC3:S3 | 30 | 8+ | (C5xC3:S3).1C2^2 | 360,130 |
(C5xC3:S3).2C22 = S32:D5 | φ: C22/C1 → C22 ⊆ Out C5xC3:S3 | 30 | 4 | (C5xC3:S3).2C2^2 | 360,133 |
(C5xC3:S3).3C22 = C32:D20 | φ: C22/C1 → C22 ⊆ Out C5xC3:S3 | 30 | 8+ | (C5xC3:S3).3C2^2 | 360,134 |
(C5xC3:S3).4C22 = C5xS3wrC2 | φ: C22/C1 → C22 ⊆ Out C5xC3:S3 | 30 | 4 | (C5xC3:S3).4C2^2 | 360,132 |
(C5xC3:S3).5C22 = C5xPSU3(F2) | φ: C22/C1 → C22 ⊆ Out C5xC3:S3 | 45 | 8 | (C5xC3:S3).5C2^2 | 360,135 |
(C5xC3:S3).6C22 = C32:Dic10 | φ: C22/C1 → C22 ⊆ Out C5xC3:S3 | 45 | 8 | (C5xC3:S3).6C2^2 | 360,136 |
(C5xC3:S3).7C22 = C10xC32:C4 | φ: C22/C2 → C2 ⊆ Out C5xC3:S3 | 60 | 4 | (C5xC3:S3).7C2^2 | 360,148 |
(C5xC3:S3).8C22 = C2xC32:Dic5 | φ: C22/C2 → C2 ⊆ Out C5xC3:S3 | 60 | 4 | (C5xC3:S3).8C2^2 | 360,149 |